$\forall$$i$:Id, $k$:Knd. locknd($i$;$k$) $\in$ LocKnd